A Linear-time Algorithm to Compute Geodesics in Solvable Baumslag–solitar Groups
نویسندگان
چکیده
We present an algorithm to convert a word of length n in the standard generators of the solvable Baumslag–Solitar group BS(1, p) into a geodesic word, which runs in linear time and O(n logn) space on a random access machine.
منابع مشابه
A Logspace Solution to the Word and Conjugacy problem of Generalized Baumslag-Solitar Groups
Baumslag-Solitar groups were introduced in 1962 by Baumslag and Solitar as examples for finitely presented non-Hopfian two-generator groups. Since then, they served as examples for a wide range of purposes. As Baumslag-Solitar groups are HNN extensions, there is a natural generalization in terms of graph of groups. Concerning algorithmic aspects of generalized Baumslag-Solitar groups, several d...
متن کاملSolvable Baumslag-solitar Groups Are Not Almost Convex
The arguments of Cannon, Floyd, Grayson and Thurston [CFGT] showing that solvegeometry groups are not almost convex apply to solvable Baumslag-Solitar groups.
متن کاملDecision and Separability Problems for Baumslag-Solitar Semigroups
We show that the semigroups Sk,` having semigroup presentations 〈a, b : abk = b`a〉 are residually finite and finitely separable. Generally, these semigroups have finite separating images which are finite groups and other finite separating images which are semigroups of order-increasing transformations on a finite partially ordered set. These semigroups thus have vastly different residual and se...
متن کاملA Note on Twisted Conjugacy and Generalized Baumslag-solitar Groups
A generalized Baumslag-Solitar group is the fundamental group of a graph of groups all of whose vertex and edge groups are infinite cyclic. Levitt proves that any generalized BaumslagSolitar group has property R∞, that is, any automorphism has an infinite number of twisted conjugacy classes. We show that any group quasi-isometric to a generalized Baumslag-Solitar group also has property R∞. Thi...
متن کاملOn Computing Geodesics in Baumslag-Solitar Groups
We introduce the peak normal form for elements of the BaumslagSolitar groups BS(p, q). This normal form is very close to the lengthlexicographical normal form, but more symmetric. Both normal forms are geodesic. This means the normal form of an element uv yields the shortest path between u and v in the Cayley graph. The main result of this paper is that we can compute the peak normal form in po...
متن کامل